package edu.gatech.cc.concolic.constraint;

import edu.gatech.cc.concolic.expression.SymbolicExpression;

public class LT extends BinaryConstraint {

	public LT(SymbolicExpression lhs, SymbolicExpression rhs) {
		super(lhs, rhs);
	}

	@Override
	public String toString() {
		return String.format("(%s < %s)", lhs, rhs);
	}

	public void accept(ConstraintVisitor visitor) {
		visitor.visit(this);
	}
	
}
